Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
101	Automated Verification of Functional Correctness of Race-Free GPU Programs Kensuke Kojima1,2 , Akifumi Imanishi1 , and Atsushi Igarashi1,2 1 Kyoto University, Japan Add to Reading List Source URL: www.fos.kuis.kyoto-u.ac.jp Language: English - Date: 2016-06-02 20:40:01 Formal methods Parallel computing Control flow Loop invariant Thread General-purpose computing on graphics processing units Invariant
102	A Software Safety Certification Tool for Automatically Generated Guidance, Navigation and Control Code Add to Reading List Source URL: ti.arc.nasa.gov Language: English Cross-platform software Numerical software Formal methods Simulation software Linear algebra MATLAB Simulink Verification condition generator Formal verification Command-line interface HTML element
103	Formal Safety Certification of Auto-Generated Aerospace Software Ewen Denney and Bernd Fischer {edenney,fisch}@email.arc.nasa.gov USRA/RIACS, NASA Ames Research Center, Moffett Field, CA 94035, USA Code generators can ad Add to Reading List Source URL: ti.arc.nasa.gov Language: English Formal methods Theoretical computer science Failure Materials science Reliability engineering Survival analysis DO-178B Exception handling Formal verification Software development process KeY Software development
104	Math.Comput.Sci:71–97 DOIs11786y Mathematics in Computer Science Collaborative Verification-Driven Engineering Add to Reading List Source URL: www.utc.ices.cmu.edu Language: English - Date: 2014-10-10 12:15:04 Unified Modeling Language Model-driven architecture Object Management Group Modeling language KeY Hybrid system Model checking Metamodeling Systems Modeling Language Object Process Methodology Formal verification Hybrid automaton
105	Microsoft Word - Post-Silicon Debug__30__group__.doc Add to Reading List Source URL: www.deshawresearch.com Language: English - Date: 2010-09-27 16:06:45 Theoretical computer science Formal methods Integrated circuits Logic in computer science Computer memory Formal verification Waypoint Debugging Application-specific integrated circuit Dynamic random-access memory Error Model checking
106	A Tool Bus for Anytime Verification? Natarajan Shankar1 Computer Science Laboratory SRI International Menlo Park CAUSA Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-11 10:23:46 Formal methods Logic in computer science Theoretical computer science Systems engineering Formal verification Model checking Satisfiability modulo theories Verification Correctness Software verification
107	Rodin in the field of railway system engineering Tomas Fischer Thales Austria GmbH, Handelskai 92, 1200 Vienna, Austria, Abstract. Railway signaling systems are required to provide the high Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-20 11:40:08 Formal methods Standards Systems engineering Software quality European Committee for Electrotechnical Standardization Specification Verification Standardization Reliability engineering SIGNAL Formal specification Rodin tool
108	Empowerdex Northern Regions (Pty) Ltd. RegNo. 5 Buhinia Street,Unit 1 First Floor, Highveld , CenturionT] +F] +Directors: R Gijben, J Odendaal, L Ratsoma, J Brebno Add to Reading List Source URL: www.consol.co.za Language: English* - Date: 2016-05-30 04:06:51 Economy of South Africa Consol Broad-Based Black Economic Empowerment Formal verification
109	A Generic Software Safety Document Generator Ewen Denney1 and Ram Prasad Venkatesan?,2 1 2 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Formal methods Theoretical computer science IP Integration by substitution Hoare logic Substitution Mathematical proof KeY Predicate transformer semantics Verification condition generator Initialization Linear temporal logic
110	Lai, Albert Yu Cheong Curriculum Vitae (address and phone omitted in public) email: trebla [at] vex [dot] net Born in 1969 Citizenship: Canadian Add to Reading List Source URL: www.vex.net Language: English - Date: 2014-07-22 17:29:12 Formal methods University of Toronto Theoretical computer science Eric Hehner Program derivation Predicative programming Refinement Formal verification Department of Computer Science

UPDATE